Buy Used and New Yamine Ait-Ameur Books

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings

by Yamine Ait-Ameur,Shin Nakajima,Dominique Méry

ISBN 13: 9789811550560

Format: Paperback (358 pages)
Publisher: Springer
Published: 29 Jul 2021

Save for later

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings

by Yamine Ait-Ameur, Shin Nakajima, Dominique Méry

ISBN 13: 9789811550539

Format: Hardcover (358 pages)
Publisher: Springer
Published: 28 Jul 2020

Save for later